home *** CD-ROM | disk | FTP | other *** search
/ Languguage OS 2 / Languguage OS II Version 10-94 (Knowledge Media)(1994).ISO / language / dino / dino_bot.1 / doc / README < prev   
Encoding:
Text File  |  1991-03-10  |  392 b   |  7 lines
  1.     In this directory you will find LaTeX source for the DINO user's
  2. manual.  Run the Makefile, then print it out (its name is "doc.tex")
  3. using your local output program (for example, we have a postscript
  4. printer, so we use "dvips").  Please be patient, the Manual is 125
  5. pages long.  If you are not able to handle LaTeX sources, contact us
  6. at (email) "dino@cs.colorado.edu" for a hard copy.
  7.